Formal methods in computer-aided design - third International Conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings
- Författare
- Steven D. Johnson Warren A. Hunt International Conference on Formal Methods in Computer-Aided Design 2000) Austin :
- (Warren A. Hunt, Steven D. Johnson (eds.)., Includes index)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2000 | Tyskland, Berlin | xi, 537 sidor. ill. |